how to integrate sec(x)